Persistent Immutable Shared Abstractions

نویسندگان

  • Benny Yih
  • Mark R. Swanson
  • Robert R. Kessler
چکیده

A write-once, read-many persistent store has been developed for Concurrent Scheme, a distributed-memory parallel Lisp for the Mayyy multicomputer. The prototype implementation 2 supports the explicit store and implicit retrieval of instances of the Scheme data types. Items are stored into per node repositories, using a modiied form of the original Concurrent Scheme \message" format. Potential access concur-rency and transaction atomicity of the store are discussed. The eecacy of the prototype is demonstrated via its utilization within a parallel ray tracer, on a network implementation of Concurrent Scheme.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Domains: Sharing state in the communicating event-loop actor model

The actor model is a message-passing concurrency model that avoids deadlocks and low-level data races by construction. This facilitates concurrent programming, especially in the context of complex interactive applications where modularity, security and fault-tolerance are required. The tradeoff is that the actor model sacrifices expressiveness and safety guarantees with respect to parallel acce...

متن کامل

Form-based Software Composition

The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have defined forms, immutable extensible records, that allow for the specification of compositional abstractions in a language-neutral and robust way. In this paper, w...

متن کامل

Forms - A Flexible Notion for Software Composition∗

The development of flexible and reusable programming abstractions has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have been working on the definition of a general-purpose composition language based on a variant of the π-calculus as formal semantics, in which agents communicate by passing immut...

متن کامل

An Admissible Second Order Frame Rule in Region Logic

Shared mutable objects and reentrant callacks can subvert encapsulation in objectbased programs. For modular reasoning, verifiers rely on methodologies. These combine special annotations or types with instrumentation (ghost state) and syntactic restrictions on programs and specifications, which pose challenges for proving soundness and for comparing/combining methodologies. This paper formalize...

متن کامل

Secure and Scalable Replication in Phalanx

Phalanx is a software system for building a persistent, survivable data repository that supports shared data abstractions (e.g., variables, mutual exclusion) for clients. Phalanx implements data abstractions that ensure useful properties without trusting the servers supporting these abstractions or the clients accessing them, i.e., Phalanx can survive even the arbitrarily malicious corruption o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992